Def CategoryTheory.normalOfIsPullbackSndOfNormal

Modification history