Synopsis:

Lately I have been working on formalizing some Abstract Algebra and PDE on my mind. Here's what It looks like right now per Contents.

Contents:

Per previous synopsis:

Per Corollary 1.2.b and thus Theorem 1.2.a, there exists the following conjecture:

There exists a set of ad-hoc solutions per Theorem 1.2.a, that admits a continuous solution in the positive infinity.

Conclusion:

Whether this development will lead to something practical is yet to develop, however I found it worth sharing.