Mathlib v3 is deprecated. Go to Mathlib v4

Theorem inf_infi_nat_succ

Modification history

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