Theorem CategoryTheory.isConnected_of_zigzag

Modification history