Commit 2019-12-20 20:34 883d974b
View on Github →feat(algebra/module): sum_smul' (for semimodules) (#1752)
- feat(algebra/module): sum_smul' (for semimodules)
- adding docstring
- use
classical
tactic - moving ' name to the weaker theorem
feat(algebra/module): sum_smul' (for semimodules) (#1752)
classical
tactic