Theorem Nat.set_eq_univ

Modification history

2022-12-12 09:33
Mathlib/Data/Nat/Order/Lemmas.lean
feat: Port Data.Nat.Order.Lemmas (#927) …
Added Nat.set_eq_univView on Github →