Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* Fix module env usage tip Fixes #1024 Use a more concise example, similar to the previous one. Add usage example with proof. * Improve wording The 'also' serves no purpose. It's unclear what [previous content] it refers to.
- Loading branch information