Theorem CategoryTheory.compatiblePreservingOfDownwardsClosed

Modification history