ScalarPowerNet.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

A power-scale interval net becomes a full-scale net after a number of scalar ring operations depending only on the power.