Def CategoryTheory.regularMonoOfMono

Modification history