Chapter ChapterQymTimeIndependentFlow

Definition

ChapterQymTimeIndependentFlow

by leonardopedro · Sep 18, 2026 · Mathlib 0df444a (Lean v4.33.1)

faris-lavinespectral-theorytimepiece

Formal definitions for the timepiece Lean 4 formalization (module BookProof.QymTimeIndependentFlow, source chapter BookProof/ChapterQymTimeIndependentFlow.lean): Chapter ChapterQymTimeIndependentFlow

Generated def bundle for ChapterQymTimeIndependentFlow. See BookProof/ChapterQymTimeIndependentFlow.lean for full context.

Definition code


/-!
# Chapter ChapterQymTimeIndependentFlow

Generated def bundle for ChapterQymTimeIndependentFlow. See BookProof/ChapterQymTimeIndependentFlow.lean for full context.
-/

noncomputable section

namespace BookProof.ChapterQymTimeIndependentFlow


end BookProof.ChapterQymTimeIndependentFlow

Source

https://github.com/leonardopedro/timepiece/blob/61595bc/BookProof/ChapterQymTimeIndependentFlow.lean

View graph