\/– 0.999… = 1 -\/
inductive One : 0.999… \u2192 Prop where
| one : One x<\/p>\n\n\n\n
\/– e^i\u03c0 = -1 -\/
inductive MinusOne : \u03c0 \u2192 Prop where
| minusOne : MinusOne e^ix
\/– e^i\u03c0 = -(1+) -\/
inductive MinusOnePlus : \u03c0Nat || \u03c0Zero \u2192 Prop where
| minusOnePlus : MinusOnePlus e^ix<\/p>\n\n\n\n
\/– e^i\u03c0 + 1 = 0 -\/
inductive Zero : \u03c0 \u2192 Prop where
| zero : Zero (e^ix + 1)<\/p>\n\n\n\n
\/– e^i\u03c0 + 1 = -0 -\/
inductive MinusZero : \u03c0Nat || \u03c0Zero \u2192 Prop where
| minusZero : MinusZero (e^ix + 1)<\/p>\n\n\n\n
<\/p>\n","protected":false},"excerpt":{"rendered":"
\/– 0.999… = 1 -\/inductive One : 0.999… \u2192 Prop where| one : One x \/– e^i\u03c0 = -1 -\/induct […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-153","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"http:\/\/www.capsule-connect.com\/capsule2\/wp-json\/wp\/v2\/pages\/153","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.capsule-connect.com\/capsule2\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/www.capsule-connect.com\/capsule2\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/www.capsule-connect.com\/capsule2\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.capsule-connect.com\/capsule2\/wp-json\/wp\/v2\/comments?post=153"}],"version-history":[{"count":1,"href":"http:\/\/www.capsule-connect.com\/capsule2\/wp-json\/wp\/v2\/pages\/153\/revisions"}],"predecessor-version":[{"id":154,"href":"http:\/\/www.capsule-connect.com\/capsule2\/wp-json\/wp\/v2\/pages\/153\/revisions\/154"}],"wp:attachment":[{"href":"http:\/\/www.capsule-connect.com\/capsule2\/wp-json\/wp\/v2\/media?parent=153"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}