Commit 2023-02-08 07:38 413af805

View on Github →

chore: bump std (#2156)

Estimated changes

Modified Mathlib/Data/Bool/Basic.lean

deleted theorem Bool.decide_eq

Modified Mathlib/Data/Option/Basic.lean

deleted theorem Option.map_eq_bind

Modified Mathlib/Logic/Basic.lean

deleted theorem forall_exists_index

Modified lake-manifest.json