chenle02neumann-cosine-lean

Neumann cosine series on [0,L] and the discrete Neumann Laplacian in Lean 4 and Mathlib
Sort by
  1. Git dependency.
    Found on Reservoir.

    mathlibv4.35.0

    The math library of Lean 4