Theorem CategoryTheory.SingleObj.inv_as_inv

Modification history