Nuprl Lemma : rcos-is-1
∀n:ℤ. (rcos(2 * n * π) = r1)
Proof
Error : references
Latex:
\mforall{}n:\mBbbZ{}. (rcos(2 * n * \mpi{}) = r1)
Date html generated:
2019_11_06-PM-00_36_19
Last ObjectModification:
2019_05_17-PM-02_43_42
Theory : reals_2
Home
Index