You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Where a TFL definition succeeds and the user gets back their desired characterising theorem (possibly coupled with an induction theorem), any _tupled constants made as part of TFL’s inner workings should be deleted (i.e., with delete_const).
The text was updated successfully, but these errors were encountered:
Where a TFL definition succeeds and the user gets back their desired characterising theorem (possibly coupled with an induction theorem), any
_tupled
constants made as part of TFL’s inner workings should be deleted (i.e., withdelete_const
).The text was updated successfully, but these errors were encountered: