In Lean 4: #print and #check #12

Hello everyone,