mathlib
b160ac8d - chore(topology/topological_fiber_bundle): reorganizing the code (#7989)

Commit

4 years ago

chore(topology/topological_fiber_bundle): reorganizing the code (#7989) Mainly redesigning the `simp` strategy.

Author

Nicknamen

Parents