Theorem List.Ico.zero_bot

Modification history

2024-04-05 23:45

Mathlib/Data/List/Intervals.lean

chore(Algebra/BigOperators/List): Use Std lemmas (#11725) …

Modified List.Ico.zero_bot View on Github →

2023-04-03 11:59

Mathlib/Data/List/Intervals.lean

feat: Port/Data.List.Intervals (#1479) …

Added List.Ico.zero_bot View on Github →