Theorem WellFoundedLT.apply

Modification history