ideal): drop an unneeded assumption (#14444)

Commit

3 years ago

feat(ring_theory/dedekind_domain/ideal): drop an unneeded assumption (#14444) Co-authored-by: Vierkantor <vierkantor@vierkantor.com>

Author

urkud

Parents