Ado's theorem in characteristic zero

Source: url:https://github.com/TauCetiProject/TauCeti/tree/1cec710789ba072804a906cf8667af8aa0b7966c Authors: The Tau Ceti contributors Status: verified Main declarations: Ado.adoCharZero, Ado.exists_faithful_nilrepresentation_charZero Tags: Lie-algebras, representation-theory, faithful-representations, nilpotent-representations MSC: 17B10, 17B05