Theorem CategoryTheory.eqToIso_map

Modification history