Theorem SetSemiring.down_mul

Modification history