Theorem Subsemiring.closure_induction₂

Modification history