Racks (Explicit)

Lean 4 $ale (Explicit)