Theorem CategoryTheory.isPreconnected_of_isPreconnected_op

Modification history