minimal_prime): Minimal prime ideals over an ideal (#16136)

Commit

3 years ago

feat(ring_theory/ideal/minimal_prime): Minimal prime ideals over an ideal (#16136)

Author

erdOne

Parents