/resultant

Two weeks ago I wrote about some basic resultant theory (maybe in a bad way...) Just upload it.

Primary LanguageLean

No issues in this repository yet.