Def CategoryTheory.regularOfIsPushoutSndOfRegular

Modification history