mathlib3
doc(topology/topological_fiber_bundle): documentation improvements
#1594

Merged

doc(topology/topological_fiber_bundle): documentation improvements #1594

mergify merged 3 commits into leanprover-community:master from sgouezel:fiber_bundle2

feat(topology/topological_fiber_bundle): improvements

c6faa907

minor fixes

3ee07048

kim-em approved these changes on 2019-10-22

rwbarton added ready-to-merge

Merge branch 'master' into fiber_bundle2

dad4cbfb

mergify merged 36dfcfcd into master 6 years ago

sgouezel deleted the fiber_bundle2 branch 6 years ago

Reviewers

kim-em

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone