mul_add): define `mul_hom.inverse` (#6864)

Commit

4 years ago

feat(data/equiv/mul_add): define `mul_hom.inverse` (#6864) Co-authored-by: Yury G. Kudryashov <urkud@urkud.name>

Author

ocfnash

Parents