Def CategoryTheory.normalOfIsPullbackFstOfNormal

Modification history