JetBrains / arend-lib

Apache License 2.0
79 stars 23 forks source link

Prove a characterization of homogeneous ideals #58

Closed valis closed 1 year ago

valis commented 1 year ago

Prove that an ideal generated by homogeneous elements is homogeneous. This is Algebra.Ring.Graded.Ideal.