Documentation
LeanPool
.
NandakumarRamanaRao
.
NRR
.
AAK
Search
return to top
source
Imports
Init
LeanPool.NandakumarRamanaRao.NRR.AAK.MainTheoremAffinePullback
LeanPool.NandakumarRamanaRao.NRR.AAK.SimplestRoute
LeanPool.NandakumarRamanaRao.NRR.AAK.SimplestRouteS6Refined
Imported by
Supporting modules for Equal-area and equal-perimeter convex partitions.