alternating): new file
#19210

Closed

feat(topology/algebra/module/alternating): new file #19210

urkud wants to merge 7 commits into master from YK-cont-alt-new

Snapshot

b826fb47

+2 docstrings

ff0d13c8

Merge branch 'master' into YK-multi-lemmas

71483274

Move to a separate lemma

a040550a

feat(topology/algebra/module/alternating): new file

c5e4c851

github-actions added modifies-synchronized-file

ghost added blocked-by-other-PR

Add Sébastien to the authors

ceb0dfbc

ghost removed blocked-by-other-PR

Merge branch 'master' into YK-cont-alt-new

56e63e6d

urkud added awaiting-review

urkud added t-analysis

urkud added t-differential-geometry

urkud removed awaiting-review

urkud added awaiting-author

urkud closed this 2 years ago

YaelDillies deleted the YK-cont-alt-new branch 2 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

awaiting-author t-analysis t-differential-geometry modifies-synchronized-file

Milestone

No milestone