Theorem Subsemiring.closure_singleton_natCast

Modification history