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

naming ring_fsets

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

https://github.com/math-comp/analysis/blob/fe3e6730467a67a155e1873800565bd87a5d17e7/theories/measure.v#L1971-L1976

Since this definition does not use fset anymore, it should maybe be renamed. Maybe ring_finite_set?

affeldt-aist avatar Jul 26 '22 04:07 affeldt-aist