Commit 2024-08-07 03:16 4bb053f6

View on Github →

chore: backports for leanprover/lean4#4814 (part 30) (#15574)

Estimated changes

modified theorem Filter.atBot_basis_Iio
modified theorem Filter.atTop_basis
modified theorem Filter.atTop_basis_Ioi