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

rm if ever made available in mathcomp

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

https://github.com/math-comp/analysis/blob/7b88928f524b16b2bbd29940bfd0ce4e69cb61d0/theories/mathcomp_extra.v#L189-L194

affeldt-aist avatar Apr 05 '22 09:04 affeldt-aist