Commit 2023-06-27 02:29 3c3631e2

View on Github →

feat: generalize WithBot.wellFounded_lt (#5425)

Estimated changes

modified theorem WithBot.wellFounded_gt
modified theorem WithBot.wellFounded_lt
modified theorem WithTop.wellFounded_gt
modified theorem WithTop.wellFounded_lt