mathlib
544fdc0d - chore(ring_theory/integral_closure): fix dot notation (#14589)

Commit

3 years ago

chore(ring_theory/integral_closure): fix dot notation (#14589)

Author

ericrbg

ericrbg

Parents

Loading