now induction report has infinite descent, double induction and start of structural induction
now induction report has infinite descent, double induction and start of structural induction

nunoskew/nunoskew.github.io,nunoskew/nunoskew.github.io,nunoskew/nunoskew.github.io