Def CategoryTheory.PreGaloisCategory.functorToContAction

Modification history