Def CategoryTheory.PreGaloisCategory.fiberIsoQuotientStabilizer

Modification history