Theorem CategoryTheory.Groupoid.vertexGroup.inv_eq_inv

Modification history