MV-coalgebra

GPTKB entity