Skip to content
Snippets Groups Projects
Commit d2f215e8 authored by Dennis Müller's avatar Dennis Müller
Browse files

pi

parent 23218536
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 0 deletions
source/math.mmt
+ 2
− 0
View file @ d2f215e8
......@@ -211,6 +211,8 @@ theory Trigonometry : ur:?LF =
rule rules?Atan ❙
rule rules?Asin ❙
rule rules?Acos ❙
pi_num = 3.1415926535897932384626 ❙
❚
/T String literals are also needed occasionally, e.g., in the LMFDB.❚
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment