Proven that the ideal generated by a two-element set consists of linear combinations of those elements - Githubissues

JetBrains / arend-lib

Apache License 2.0

79 stars 23 forks source link

Proven that the ideal generated by a two-element set consists of linear combinations of those elements #51

Closed TurtlePU closed 2 years ago

TurtlePU commented 2 years ago

Closes #43

TurtlePU commented 2 years ago

@valis cc

ice1000 commented 2 years ago

Wow!! This is soo cooool!!