Theorem Subsemiring.closure_insert_zero

Modification history