Theorem CategoryTheory.isoClosure_le_iff

Modification history