Theorem CategoryTheory.RelCat.rel_iso_iff

Modification history