Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-08-03 14:13 dd6f53d8

View on Github →

chore(data/seq/seq): clean up spacing (#15825) And other small acts of golfing.

Estimated changes

modified theorem seq.le_stable
modified def seq.nil
modified theorem seq.terminated_stable
modified def seq