Skip to content

7RKFR: Removed redundant lemma

0351890
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

7RKFR: Replaced informal with sorryful #921

7RKFR: Removed redundant lemma
0351890
Select commit
Loading
Failed to load commit list.
Check for spelling errors
succeeded Jan 23, 2026 in 10s