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

Provide a shorter symbol?

Open CohenCyril opened this issue 7 years ago • 0 comments

https://github.com/math-comp/analysis/blob/3404704fa195f16d5035d8d87806e155dc6d5581/topology.v#L33

CohenCyril avatar Feb 07 '18 18:02 CohenCyril