WikiLean
Articles
·
Brain
·
Recent changes
·
Proposals
·
Flags
·
Stats
·
About
🌓
Diff —
Pi
Revision #2133 → #2624 ·
back to history
modified
Buffon's needle approximation of π
3bf9ec905cab
Field
From #2133
To #2624
mathlib.decl
buffon_short
BuffonsNeedle.buffon_short
provenance
ai
ai-moderated