Theorem CategoryTheory.idCoverPreserving

Modification history