Theorem CategoryTheory.NatIso.app_inv

Modification history