Theorem Subsemiring.mem_closure_iff

Modification history