OAI/Analysis/CircleDomains/Selection/RealStageBands.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Changing only the presentation of equal terminal widths preserves all geometric and analytic data of a real stage.

  1. def OAI.CircleDomainRigidity.FiniteTransfer.RealTransferStage.withBands line 12