Commit 2023-11-29 18:21 0622d7e4

View on Github →

chore: generalised some results from ring to semiring (#8715) Changed the hypothesis of some results from ring to semiring, without changing the proofs.

Estimated changes

modified theorem Ideal.bot_prime
modified theorem Ideal.factors_decreasing
modified theorem Ideal.maximal_of_no_maximal