Documentation

Mathlib.Data.Nat.WithBot

WithBot #

Lemmas about the type of natural numbers with a bottom element adjoined.