Commit 2021-07-14 13:57 5bac21a1
View on Github →chore(algebra/module/pi): add pi.smul_def (#8311)
Sometimes it is useful to rewrite unapplied s • x (I need it in a branch that is not yet ready for review).
We already have pi.zero_def, pi.add_def, etc.