Theorem SetSemiring.add_def

Modification history