Theorem CategoryTheory.unit_transferNatTransSelf

Modification history