Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-06-03 13:41 f44509c0

View on Github →

chore(tactic/localized): lower priority of bad decidability instances in classical locale (#2932) Also add a decidability instance for complex numbers. https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/monoid_algebra.2Emul_apply/near/199595932 https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/slow.20elaboration/near/199543997

Estimated changes