Closed leodemoura closed 2 weeks ago
See comment at Methods.wellBehavedDischarge. The default discharger is now well-behaved.
Methods.wellBehavedDischarge
Mathlib CI status (docs):
nightly-with-mathlib
git rebase d9ea0925853818660ff4869ef11bcacfaec9b7d7 --onto 83c139f7504706624eb3dcb3d78000d4fc6f4d13
See comment at
Methods.wellBehavedDischarge
. The default discharger is now well-behaved.