Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-11-05 08:27 35d36288

View on Github →

chore(data/bool): add bool.lt_iff (#10179)

Estimated changes

modified theorem bool.ff_lt_tt
added theorem bool.lt_iff