Documentation
LeanPool
.
Rupert
.
Imports
Search
return to top
source
Imports
Init
LeanPool.Rupert
LeanPool.Rupert.Affine
LeanPool.Rupert.Attr
LeanPool.Rupert.Basic
LeanPool.Rupert.Convex
LeanPool.Rupert.Cube
LeanPool.Rupert.FinCases
LeanPool.Rupert.Icosahedron
LeanPool.Rupert.MatrixSimps
LeanPool.Rupert.Quaternion
LeanPool.Rupert.Set
LeanPool.Rupert.SnubCube
LeanPool.Rupert.Square
LeanPool.Rupert.Tetrahedron
LeanPool.Rupert.TriakisTetrahedron
LeanPool.Rupert.Equivalences.AffineRupertEquivRupertSet
LeanPool.Rupert.Equivalences.RupertEquivRupertPrime
LeanPool.Rupert.Equivalences.RupertEquivRupertSet
LeanPool.Rupert.Equivalences.Util
Imported by