Theorem CategoryTheory.TwoSquare.hCompVCompHComp

Modification history