Theorem CategoryTheory.PreGaloisCategory.FiberFunctor.isPretransitive_of_isGalois

Modification history