Theorem CategoryTheory.NatTrans.equifibered_of_discrete

Modification history