Theorem CategoryTheory.NatIso.trans_app

Modification history