Theorem SetSemiring.up_le_up

Modification history