Theorem WellFoundedLT.induction

Modification history