Theorem CategoryTheory.NatTrans.Equifibered.whiskerRight

Modification history