OAI/Analysis/AncientFlat/Evolution/TimeFamilyEnvelope.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SourceFrozenCancellation.timeDiff line 11
2. lemma OAI.SourceFrozenCancellation.scaled_mem line 13
3. lemma OAI.SourceFrozenCancellation.timeDiff_continuous line 19
4. lemma OAI.SourceFrozenCancellation.integral_timeDiff_zero line 27
5. lemma OAI.SourceFrozenCancellation.timeDiff_envelopes line 36