Theorem Subsemiring.closure_le

Modification history