batteries icon indicating copy to clipboard operation
batteries copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat: lemmas for `Array.insertAt`

Open fgdorais opened this issue 1 year ago • 0 comments

fgdorais avatar Jul 29 '24 11:07 fgdorais