basic): add alg_hom.apply (#7278)

Commit

4 years ago

feat(algebra/algebra/basic): add alg_hom.apply (#7278) This also renames some variables from α to R for readability

Author

eric-wieser

Parents