basic): Missing scalar instances (#12874)

Commit

3 years ago

feat(algebra/subalgebra/basic): Missing scalar instances (#12874) Add missing scalar instances for `submonoid`, `subsemiring`, `subring`, `subalgebra`.

Author

YaelDillies

Parents

52159408

mathlib 6a55ba89 - feat(algebra/subalgebra/basic): Missing scalar instances (#12874)

mathlib
6a55ba89 - feat(algebra/subalgebra/basic): Missing scalar instances (#12874)