Def boolean_ring.has_sdiff

Modification history