mathlib3
4359e481 - feat(field_theory/intermediate_field): `dsimp` lemma (#15188)

Commit

3 years ago

feat(field_theory/intermediate_field): `dsimp` lemma (#15188)

Author

YaelDillies

YaelDillies

Parents

Loading