Skip to content
aidb
L

Lean

Family name

Namefamily nameQ31205846
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