Theorem CategoryTheory.CommSq.flip

Modification history