Theorem SetSemiring.down_ssubset_down

Modification history