As far as I can tell, our documentation does not actually tell users (and implementors) that `base_ring` is applicable to matrices and what it does. In contrast, `change_base_ring` *is* documented
As far as I can tell, our documentation does not actually tell users (and implementors) that
base_ringis applicable to matrices and what it does.In contrast,
change_base_ringis documented