affine): define topological add torsors
#13412

Open

feat(topology/algebra/affine): define topological add torsors #13412

urkud wants to merge 5 commits into master from YK-top-torsor

Snapshot

9b3fb304

urkud added help-wanted

urkud added needs-documentation

urkud added awaiting-review

urkud added awaiting-CI

urkud removed help-wanted

Fix

0c8d701e

Snapshot

284cc0ee

Fix

62156816

Snapshot

1a8c9df0

eric-wieser commented on 2022-04-16

leanprover-community-bot-assistant added merge-conflict

kim-em added too-late

Reviewers

eric-wieser

Assignees

No one assigned

Labels

needs-documentation awaiting-review merge-conflict awaiting-CI too-late

Milestone

No milestone