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

Lemma added in mathcomp > 1.15

Open CohenCyril opened this issue 3 years ago • 0 comments

CohenCyril avatar Sep 13 '22 14:09 CohenCyril