Mathlib v3 is deprecated. Go to Mathlib v4

Theorem not_and

Modification history

2017-09-03 23:13

logic/basic.lean

feat(tactic/interactive): simpf tactic, more logic refactor

Added not_and View on Github →