Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
I thought that this proof was helpful for understanding the intuition behind the provided fact. It might be nice to give students a precise reference to easily find this proof (or I can add it into these notes directly)
- Loading branch information