mathlib
b7538a30 - feat(algebra/periodic): add lemmas `periodic.prod`, `periodic.smul`, `antiperiodic.smul` (#13496)

Commit

3 years ago

feat(algebra/periodic): add lemmas `periodic.prod`, `periodic.smul`, `antiperiodic.smul` (#13496) Formalized as part of the Sphere Eversion project.

Author

ocfnash

Parents