polgreen opened this issue 3 years ago · 1 comments
finite_foralls are introduced in #104
These should be added to the tutorial/documentation. Creating an issue so we don't forget
(assigning Yatin, could also be Chase?)
I've added this to the tutorial in this commit: d729aff