Mathlib Changelog
v4
Changelog
About
Github
Theorem
List.reduceOption_length_eq
Modification history
2024-06-06 21:05
Mathlib/Data/List/ReduceOption.lean
refactor: `reduceOption_length_le` (#11671) …
Added
List.reduceOption_length_eq
View on Github →