Theorem by_cases

Modification history

2024-04-19 20:51

Mathlib/Logic/Basic.lean

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

Modified by_cases View on Github →

2022-12-12 05:12

Mathlib/Logic/Basic.lean

feat port: Algebra.EuclideanDomain.Basic (#919) …

Added by_cases View on Github →