Theorem Complex.IsExactOn.with_val_at

Modification history

2026-03-02 19:44
Mathlib/Analysis/Complex/HasPrimitives.lean
feat: Liouville Theorem for harmonic functions (#35640) …
Added Complex.IsExactOn.with_val_atView on Github →