Theorem Subsemiring.closure_induction'

Modification history