Def boolean_ring.has_sup

Modification history