Two weeks ago I wrote about some basic resultant theory (maybe in a bad way...) Just upload it.
Primary LanguageLean
This repository is not active