chore: Update Lean to 4.21.0#19

samuelburnham merged 4 commits intomainargumentcomputer/Blake3.lean:mainfrom

lean-4.21.0argumentcomputer/Blake3.lean:lean-4.21.0Copy head branch name to clipboard