Mathlib v3 is deprecated. Go to Mathlib v4

Theorem iff.imp

Modification history

2022-02-04 06:54

src/logic/basic.lean

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

Added iff.imp View on Github →