mathlib into homogeneous_ideal_easier_part

Commit

4 years ago

Merge branch 'homogeneous_ideal_easier_part' of https://github.com/leanprover-community/mathlib into homogeneous_ideal_easier_part

Author

jjaassoonn

Parents