Theorem CategoryTheory.isConnected_of_isConnected_op

Modification history