Mathlib v3 is deprecated. Go to Mathlib v4

Theorem sup_supr_nat_succ

Modification history

2021-04-22 20:22
src/order/complete_lattice.lean
chore(computability/language): golf some proofs (#7301)
Added sup_supr_nat_succView on Github →