Mathlib v3 is deprecated. Go to Mathlib v4

Theorem iff.and

Modification history

2022-02-04 06:54

src/logic/basic.lean

feat(logic/basic): add projection notation for iff (#11803)

Added iff.and View on Github →