Closed jim-portegies closed 3 years ago
Add theory on infima and suprema, move some notations from notations file to sequences files, move subsequences definitions to a new theory file.
Add theory on infima and suprema, move some notations from notations file to sequences files, move subsequences definitions to a new theory file.