mathlib
da01792c - refactor(*): remove integral_domain, rename domain to is_domain (#9748)

Commit

4 years ago

refactor(*): remove integral_domain, rename domain to is_domain (#9748) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents