Commit 2020-07-21 21:29 dfef07a8
View on Github →chore(analysis/special_functions): moved trig vals out of real.pi, added new trig vals (#3497) Moved trigonometric lemmas from real.pi to analysis.special_functions.trigonometric. Also added two new trig lemmas, tan_pi_div_four and arctan_one, to analysis.special_functions.trigonometric. https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Trig.20function.20values