floor_ring): add basic topological facts about `floor`, `ceil` and `fract` (#4042)

Commit

5 years ago

feat(topology/algebra/floor_ring): add basic topological facts about `floor`, `ceil` and `fract` (#4042) From the sphere eversion project

References

Author

ADedecker

Parents