Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-07-02 13:11 1ef2c2df

View on Github →

feat(data/list/basic): filter_true and filter_false (#1169)

  • feat(data/list/basic): filter_true and filter_false
  • Update basic.lean
  • Update basic.lean
  • Update basic.lean
  • Update basic.lean

Estimated changes

added theorem list.filter_false
added theorem list.filter_true