Theorem Nat.iInf_const_zero

Modification history

2024-10-14 12:17
Mathlib/Data/Nat/Lattice.lean
chore: unused arguments (#17348)
Modified Nat.iInf_const_zeroView on Github →
2023-11-11 07:17
Mathlib/Data/Nat/Lattice.lean
feat: `⨅ i : ι, 0 = 0` in `ℕ` (#8324)
Added Nat.iInf_const_zeroView on Github →