Theorem CategoryTheory.HomOrthogonal.equiv_of_iso

Modification history