Theorem SetSemiring.down_add

Modification history