WikiLean
Recent changes
·
Proposals
·
Flags
·
Stats
·
About
🌓
Diff —
Floor and ceiling functions
Revision #2180 → #2572 ·
back to history
modified
Quadratic reciprocity via floor
4154851b0bb1
Field
From #2180
To #2572
mathlib.decl
ZMod.quadratic_reciprocity
legendreSym.quadratic_reciprocity
provenance
ai
ai-moderated