mathlib

871fcd87 - feat(data/zmod/algebra): add subsingleton instance for zmod-algebras (#14946)

feat(data/zmod/algebra): add subsingleton instance for zmod-algebras (#14946) This will be used to eliminate a diamond with `galois_field.algebra` in a followup PR. Co-authored-by: Eric Rodriguez <37984851+ericrbg@users.noreply.github.com>