Recovery Of LeanO (Explicit)

Closure (Explicit)