Theorem CategoryTheory.homOfElement_eq_iff

Modification history