Theorem Subsemiring.not_mem_of_not_mem_closure

Modification history