Def boolean_ring.has_bot

Modification history