Theorem CategoryTheory.leOfHom

Modification history