Theorem CategoryTheory.isPreconnected_of_equivalent

Modification history