Commit 2026-05-18 15:35 e6f86b67

View on Github →

feat: IsBotOneClass ℕ+ (#39056)

Estimated changes

modified theorem PNat.le_one_iff
modified theorem PNat.one_lt_of_lt
deleted theorem PNat.not_lt_one
deleted theorem PNat.one_le