Def RingCat.fullyFaithfulForget₂ToSemiRingCat

Modification history