Theorem Subsemiring.closure_singleton_zero

Modification history