Unicity Lean Complete