Def CategoryTheory.PreGaloisCategory.functorToAction

Modification history