Theorem CategoryTheory.ε_inv_hom_app

Modification history