Commit 2022-04-25 13:21 b7538a30
View on Github →feat(algebra/periodic): add lemmas periodic.prod
, periodic.smul
, antiperiodic.smul
(#13496)
Formalized as part of the Sphere Eversion project.
feat(algebra/periodic): add lemmas periodic.prod
, periodic.smul
, antiperiodic.smul
(#13496)
Formalized as part of the Sphere Eversion project.