mathlib
400dbb3a - refactor(ring_theory/non_zero_divisors): use fun_like (#11764)

Commit

3 years ago

refactor(ring_theory/non_zero_divisors): use fun_like (#11764)

Author

pechersky

pechersky

Parents

Loading