set "baseuri" "cic:/matita/CoRN-Decl/transc/Pi".
-include "CoRN_notation.ma".
+include "CoRN.ma".
include "transc/SinCos.ma".
(* UNEXPORTED
-Section Properties_of_Pi.
+Section Properties_of_Pi
*)
(*#* printing Pi %\ensuremath{\pi}% #π# *)
inline "cic:/CoRN/transc/Pi/pos_Pi.con".
(* UNEXPORTED
-End Properties_of_Pi.
+End Properties_of_Pi
*)
(* UNEXPORTED
*)
(* UNEXPORTED
-Section Pi_and_Order.
+Section Pi_and_Order
*)
(*#* **Properties of Pi
inline "cic:/CoRN/transc/Pi/invQuarterPi_less_QuarterPi.con".
(* UNEXPORTED
-End Pi_and_Order.
+End Pi_and_Order
*)
(* UNEXPORTED
(* end hide *)
(* UNEXPORTED
-Section Sin_And_Cos.
+Section Sin_And_Cos
*)
(*#* **More formulas
inline "cic:/CoRN/transc/Pi/Tan_periodic.con".
(* UNEXPORTED
-End Sin_And_Cos.
+End Sin_And_Cos
*)
(* UNEXPORTED