Theorem CategoryTheory.NatIso.isIso_map_iff

Modification history