Theorem imp_or

Modification history

2025-04-12 23:52

Mathlib/Logic/Basic.lean

fix: remove undercover `open Classical`s (#23750) …

Modified imp_or View on Github →

2022-10-24 15:16

Mathlib/Logic/Basic.lean

feat: port Logic/Basic (#484) …

Added imp_or View on Github →