Theorem CategoryTheory.TwoSquare.GuitartExact.whiskerVertical

Modification history