Def CommRingCat.fullyFaithfulForget₂ToRingCat

Modification history