Theorem CategoryTheory.ε_hom_inv_app

Modification history