Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This is an unstable interface; we probably want those lenses to focus polynomials, not just linear mappings.
- Loading branch information