Theorem sqrt_eq_exp

Modification history

2026-03-06 23:58

Mathlib/Analysis/RCLike/Sqrt.lean

feat(ModularForm/NumberTheory/Delta): Define the delta function (#34881) …

Added sqrt_eq_exp View on Github →