WikiLean
Recent changes
·
Proposals
·
Flags
·
Stats
·
About
🌓
Diff —
Formal language
Revision #1955 → #2573 ·
back to history
modified
Well-formed word
b66ba924f645
Field
From #1955
To #2573
mathlib.decl
Language.instMembership
Language.instMembershipList
provenance
ai
ai-moderated