slash_actions): slash actions are families of `distrib_mul_action`s
#18932

Open

refactor(number_theory/modular_forms/slash_actions): slash actions are families of `distrib_mul_action`s #18932

eric-wieser wants to merge 11 commits into master from eric-wieser/slash_action.redo

refactor: ungeneralize from `has_zero` `has_add` to `add_monoid`

5ec2a326

wip

8c339c77

wip

92f492e7

Merge remote-tracking branch 'origin/master' into eric-wieser/slash_a…

042f0485

fixes

bf882ebb

golf

440ccdd5

eric-wieser added WIP

eric-wieser added awaiting-CI

type

41255a4c

notation

d1c29ed9

golf

51ed55ea

eric-wieser added t-number-theory

Merge remote-tracking branch 'origin/master' into eric-wieser/slash_a…

25af56d0

eric-wieser force pushed from e769b8a7 to 25af56d0 2 years ago

eric-wieser removed WIP

eric-wieser added RFC

lintfix

bca017ae

github-actions removed awaiting-CI

kim-em added too-late

Reviewers

No reviews

Assignees

No one assigned

Labels

RFC t-number-theory too-late

Milestone

No milestone