Theorem wellFounded_gt

Modification history