Documentation
SpherePacking
.
Tactic
.
Test
.
NormNumI
Search
return to top
source
Imports
Init
Mathlib.Tactic.NormNum
SpherePacking.Tactic.NormNumI
Mathlib.Data.ZMod.Basic
Mathlib.Analysis.SpecialFunctions.Trigonometric.Basic
Imported by