mathlib3
b4a7ad6c - chore(field_theory/laurent): drop unused 'have'. (#12516)

Commit

3 years ago

chore(field_theory/laurent): drop unused 'have'. (#12516)

Author

Ruben-VandeVelde

Ruben-VandeVelde

Parents

Loading