Theorem Subsemiring.closure_induction

Modification history