Theorem Nat.cast_finsetSup

Modification history

2025-01-16 10:00
Mathlib/Algebra/Order/Ring/Finset.lean
refactor: make `CanonicallyOrdered...` mixin (#17444) …
Modified Nat.cast_finsetSupView on Github →
2024-11-28 14:24
Mathlib/Algebra/Order/Ring/Finset.lean
feat: interaction of `Finset.sup` and `Nat.cast` (#19245)
Added Nat.cast_finsetSupView on Github →