basic): be explicit with type coercions

Commit

3 years ago

chore(ring_theory/valuation/basic): be explicit with type coercions This only matters if someone tries to unfold these definitions

References

Author

eric-wieser

Parents