OAI/Analysis/CircleDomains/Probability/PhysicalPieceTimeMeasure.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The time measure of a restricted piece transported back to its original parameter interval.

  1. theorem OAI.CircleDomainRigidity.physicalTimeLength_piece line 17