OAI/Analysis/CircleDomains/Rigidity/MaskedTransferWithData.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Retain additional data attached to the actual filling at the chosen width. The width and metric selection do not change the filled functions.

  1. theorem OAI.CircleDomainRigidity.FiniteTransfer.exists_masked_circle_transfer_with_data line 13