Theorem integral_sqrt_one_sub_sq

Modification history

2024-04-13 10:35
Mathlib/Analysis/SpecialFunctions/Integrals.lean
feat: add notation for Real.sqrt (#12056) …
Modified integral_sqrt_one_sub_sqView on Github →
2023-11-17 05:53
Mathlib/Analysis/SpecialFunctions/Integrals.lean
chore: bump to v4.3.0-rc2 (#8366) …
Modified integral_sqrt_one_sub_sqView on Github →
2023-09-08 11:01
Mathlib/Analysis/SpecialFunctions/Integrals.lean
feat: compute the integral of sqrt (1 - x ^ 2) (#6905) …
Added integral_sqrt_one_sub_sqView on Github →