Def CategoryTheory.regularOfIsPushoutFstOfRegular

Modification history