Theorem WellFoundedGT.apply

Modification history