Theorem MulChar.equivToUnitHom_symm_coe

Modification history

2023-05-29 10:13
Mathlib/NumberTheory/LegendreSymbol/MulCharacter.lean
chore: tidy various files (#4466)
Added MulChar.equivToUnitHom_symm_coeView on Github →