Theorem CategoryTheory.PreGaloisCategory.functorToAction_map

Modification history