Theorem CategoryTheory.unit_transferNatTrans

Modification history