Theorem Subsemiring.closure_insert_natCast

Modification history