mathlib

3e6fe842 - feat(meta/expr): use structure_fields (#1766)

feat(meta/expr): use structure_fields (#1766) removes is_structure_like simplifies definition of is_structure renames and simplifies definition get_projections. It is now called structure_fields_full