Theorem Imp.swap

Modification history

2024-07-16 07:40

Mathlib/Logic/Basic.lean

chore(Logic/Function/Defs): move file out of Init (#14754)

Modified Imp.swap View on Github →

2024-04-19 20:51

Mathlib/Logic/Basic.lean

chore(Logic): reduce use of autoImplicit (#12135) …

Modified Imp.swap View on Github →

2022-10-24 15:16

Mathlib/Logic/Basic.lean

feat: port Logic/Basic (#484) …

Added Imp.swap View on Github →