OAI/Analysis/Conductivity/Walls/WallTransferParametric.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ScalarConductivity.wallTransferSource line 16
2. lemma OAI.ScalarConductivity.wallTransferSource_smoothOn line 21
3. lemma OAI.ScalarConductivity.wallTransferSource_zero line 37
4. lemma OAI.ScalarConductivity.wallTransferSource_tsupport line 47
5. lemma OAI.ScalarConductivity.wallTransferFamily_small line 55
6. lemma OAI.ScalarConductivity.wall_transfer_balanced_residual line 88
7. lemma OAI.ScalarConductivity.wall_transfer_residual_solver line 139