Def counterexample_not_prime_but_homogeneous_prime.grading.decompose

Modification history

2022-03-12 04:22
counterexamples/homogeneous_prime_not_prime.lean
feat(counterexample) : a homogeneous ideal that is not prime but homogeneously prime (#12485) …
Added counterexample_not_prime_but_homogeneous_prime.grading.decomposeView on Github →