batteries icon indicating copy to clipboard operation
batteries copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

chore: fix some List.modifyNth lemma names

Open kim-em opened this issue 1 year ago • 0 comments

kim-em avatar Jun 07 '24 20:06 kim-em