Theorem Nat.set_induction

Modification history