eval): Golf `hom_eval₂` (#10920)

Commit

4 years ago

refactor(data/polynomial/eval): Golf `hom_eval₂` (#10920) Here's a much easier proof of `hom_eval₂`.

Author

tb65536

Parents