Theorem Subsemiring.mem_mk'

Modification history