implicitWeird2

[bartsnapp]

ImplicitWeird2 has no current answer. I've commented it out.
Also, by that point we have proved the general power rule for all real exponents.

[StevenGubkin]

Ya, there didn't seem to be any other way to address that particular
standard. It is very specific, and should perhaps just be eliminated.

On Sun, Oct 25, 2015 at 4:17 PM, Bart Snapp notifications@github.com
wrote:

ImplicitWeird2 has no current answer. I've commented it out.
Also, by that point we have proved the general power rule for all real
exponents.

—
Reply to this email directly or view it on GitHub
#1.

[bartsnapp]

But I see where you are going with this. It could be really great!

It is not good for now, so I commented it out.
This issue is just so we don't forget about it
On Oct 25, 2015 4:53 PM, "Steven Gubkin" notifications@github.com wrote:

Ya, there didn't seem to be any other way to address that particular
standard. It is very specific, and should perhaps just be eliminated.

On Sun, Oct 25, 2015 at 4:17 PM, Bart Snapp notifications@github.com
wrote:

ImplicitWeird2 has no current answer. I've commented it out.
Also, by that point we have proved the general power rule for all real
exponents.

—
Reply to this email directly or view it on GitHub
#1.

—
Reply to this email directly or view it on GitHub
#1 (comment).