Theorem SetSemiring.down_one

Modification history