ideal): fix style of a lemma statement (#15097)

Commit

3 years ago

chore(ring_theory/dedekind_domain/ideal): fix style of a lemma statement (#15097)

Author

Paul-Lez

Parents