Algebra.LFST.Membership

data GodelMembership

data GoguenMembership

data LukasiewiczMembership