mathlib
eeef771d - chore(field_theory/ratfunc): has_scalar in terms of localization (#10828)

Commit

4 years ago

chore(field_theory/ratfunc): has_scalar in terms of localization (#10828) Now that `localization.has_scalar` is general enough, fix a TODO

Author

pechersky

Parents