Skip to content

fixes #1231 (space ball lemma)#1247

Merged
CohenCyril merged 1 commit intomath-comp:masterfrom
affeldt-aist:fixes_1231
Jun 24, 2024
Merged

fixes #1231 (space ball lemma)#1247
CohenCyril merged 1 commit intomath-comp:masterfrom
affeldt-aist:fixes_1231

Commits

Commits on Jun 20, 2024