OAI/Analysis/AncientFlat/Evolution/BetaRow.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SourceFrozenRows.exists_timeBCF_four_bound line 13
2. def OAI.ParametrixVolterra.rowData line 47
3. lemma OAI.ParametrixVolterra.continuous_rowData line 52
4. lemma OAI.ParametrixVolterra.integrable_beta_unit line 61
5. lemma OAI.ParametrixVolterra.exists_rowData_bound line 67