Theorem Real.tan_pi_div_six

Modification history