mathlib
e5548bc2 - Eliminate `finish` from `legendre_sym_eq_one_iff`
Commit
View On GitHub
Commit
4 years ago
Eliminate `finish` from `legendre_sym_eq_one_iff`
Parents
3fc9c331
FAQ Terms Privacy Refunds Impressum
Loading