Commit 2023-06-09 00:45 67c1479d

View on Github →

chore: golf 2 proofs (#4875)

Estimated changes

Modified Mathlib/Algebra/BigOperators/Fin.lean

Modified Mathlib/Order/Filter/Basic.lean

modified theorem Filter.sup_bind