analysis icon indicating copy to clipboard operation
analysis copied to clipboard
verified publisher icon math-comp

more lemmas about sequences

Open affeldt-aist opened this issue 5 years ago • 0 comments

This PR is the result of a split of the PR #187 . It defines a few standard sequences and proves a few lemmas about them, mostly as a test bed for sequences.v.

affeldt-aist avatar May 21 '20 00:05 affeldt-aist