Theorem Nat.cast_finsetSup'

Modification history

2024-11-28 14:24
Mathlib/Algebra/Order/Ring/Finset.lean
feat: interaction of `Finset.sup` and `Nat.cast` (#19245)
Added Nat.cast_finsetSup'View on Github →