Theorem Subsemiring.closure_univ

Modification history