Theorem IsNoetherian.induction

Modification history