Theorem SetSemiring.up_lt_up

Modification history