mathlib
653307ac - chore(number_theory/cyclotomic): fix typo in lemma name (#16643)

Commit

3 years ago

chore(number_theory/cyclotomic): fix typo in lemma name (#16643)

Author

alexjbest

alexjbest

Parents

Loading