L
- Instance of
All data
12 statements · 0% with external sources · numbers in brackets are citations
On other databases
4 identifiers linking Lean across the web's reference databases
12 statements · 0% with external sources · numbers in brackets are citations
4 identifiers linking Lean across the web's reference databases