OAI/Analysis/CircleDomains/Rigidity/RegularMaskedStokes.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CircleDomainRigidity.FiniteTransfer.MaskedCoordinateStage.stokes_bound_regular line 11
2. theorem OAI.CircleDomainRigidity.FiniteTransfer.MaskedCoordinateStage.source_stokes_bound_regular line 84
3. theorem OAI.CircleDomainRigidity.FiniteTransfer.StokesCollarGeometry.source_stokes_bound_regular line 141