Descent along torsors (source code)

= Descent along torsors
{wiki=Descent_along_torsors}