Def CategoryTheory.regularOfIsPullbackSndOfRegular

Modification history