Theorem CategoryTheory.Iso.homCongr_symm

Modification history