Issue with 3 Lindemann–Weierstrass_theorem
Closed this issue · 1 comments
AndreG-P commented
Does factorial needs a QID or not?
Link to Lindemann–Weierstrass_theorem, qID 3
philsMINT commented
I think it is not necessary - there are other elementary operators like \exp who did not get a QID
-> see discussion in the paper section line (psl) 98