Theorem wellFounded_lt

Modification history