Theorem Subsemiring.closure_insert_one

Modification history