Progress table.v - Githubissues

math-comp / real-closed

Theorems for Real Closed Fields

13 stars 11 forks source link

Open pi8027 opened 3 years ago

pi8027 commented 3 years ago

Lemmas about lindex and rindex are relocated since I had to use some of them for sequences of extended values.
Proved ext_inF and lrindex_notin.