TY  - RPRT
TI  - Proving the existence of the $n$th root by induction
AU  - Alvaro H. Salas S
PY  - 2008
UR  - https://arxiv.org/abs/0805.3303
ID  - 0805.3303
ER  -