Commit 2021-04-21 00:48 8481bf46
View on Github →feat(algebra/algebra/basic): add alg_hom.apply (#7278) This also renames some variables from α to R for readability
feat(algebra/algebra/basic): add alg_hom.apply (#7278) This also renames some variables from α to R for readability