Theorem SetSemiring.down_zero

Modification history