Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
add_char.primitive_add_char.prim
Modification history
2023-06-15 06:31
src/number_theory/legendre_symbol/add_character.lean
chore(field_theory/splitting_field): refactor `splitting_field` (#19178) …
Added
add_char.primitive_add_char.prim
View on Github →