Theorem WithBot.wellFounded_lt

Modification history