보조정리,lemma

Difference between r1.4 and the current

@@ -4,6 +4,7 @@
[[증명,proof]]

Sub:
[[switching_lemma]] Srch:switching_lemma
https://simple.wikipedia.org/wiki/Euclid%27s_lemma

----






보조정리
lemma