Closed leodemoura closed 2 weeks ago
and new option set_option allowUnsafeReductibility true to override validation.
set_option allowUnsafeReductibility true
Mathlib CI status (docs):
nightly-with-mathlib
git rebase 092ca8530a6f272b7cb19235750479cdffab11de --onto 806e41151b6eb645e4ed5a40915b94b99f933564
and new option
set_option allowUnsafeReductibility true
to override validation.