In Lean 4: Basics #14

Hello everyone,