LEAN

ν† λ‹ˆν”Όν„° works (3)