Commit 2024-11-03 18:36 a54ab2c4

View on Github →

chore(SetTheory/Cardinal/Basic): generalize bddAbove_range (#17025) In truth we could simply replace all instances of bddAbove_range with bddAbove_of_small, but I've kept the lemma anyways for discoverability.

Estimated changes