Theorem CategoryTheory.EnrichedNatTrans.naturality

Modification history