Implementation of the axiom of definite description for Lean.
Primary LanguageLeanApache License 2.0Apache-2.0