P / / M (Explicit)

Lean