mathlib3
feat(meta/expr): use structure_fields
#1766
Merged

feat(meta/expr): use structure_fields #1766

mergify merged 2 commits into master from structure_fields
fpvandoorn
fpvandoorn feat(meta/expr): use structure_fields
60c86718
fpvandoorn fpvandoorn added awaiting-review
robertylewis
robertylewis approved these changes on 2019-12-05
robertylewis robertylewis removed awaiting-review
robertylewis robertylewis added ready-to-merge
mergify[bot] Merge branch 'master' into structure_fields
10b27a1f
mergify mergify merged 3e6fe842 into master 6 years ago
mergify mergify deleted the structure_fields branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone