Def CategoryTheory.regularOfIsPullbackFstOfRegular

Modification history