Theorem CategoryTheory.isConnected_zigzag

Modification history