Theorem CategoryTheory.Localization.liftNatTrans_app

Modification history