Theorem CategoryTheory.PreGaloisCategory.FibreFunctor.end_isUnit

Modification history