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

useless type constraint

Open affeldt-aist opened this issue 1 year ago • 0 comments

https://github.com/math-comp/analysis/blob/a413c3f01752b9cc6223fd5457c22e2dde944165/theories/sequences.v#L945

: V is not needed anymore @proux01

affeldt-aist avatar Oct 16 '24 13:10 affeldt-aist