Theorem CategoryTheory.TwoSquare.GuitartExact.whiskerVertical_iff

Modification history