formal_book icon indicating copy to clipboard operation
formal_book copied to clipboard
verified publisher icon mo271

Bump mathlib2

Open mo271 opened this issue 1 year ago • 0 comments

mo271 avatar Dec 07 '24 11:12 mo271