Theorem CategoryTheory.GlueData.t_inv

Modification history