Mathlib v3 is deprecated. Go to Mathlib v4

Theorem imp_intro

Modification history

2019-09-22 04:34

src/logic/basic.lean

chore(*): fix various issues reported by `sanity_check_mathlib` (#1469) …

Modified imp_intro View on Github →

2017-09-03 20:55

logic/basic.lean

refactor(logic/basic): refactor logic theorems

Added imp_intro View on Github →