Commit 2020-07-17 09:26 4a6b7168
View on Github →fix(tactic/nlinarith): stop nlinarith failing in the presence of squares when there is no order (#3417) As reported by Heather Macbeth at https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/app_builder_exception.20in.20.60nlinarith.60/near/204138256