Def CommSemiRingCat.fullyFaithfulForget₂ToSemiRingCat

Modification history