Theorem Subsemiring.closure_unionₛ

Modification history