Skip to content

Remark on changing order of (m + n) to (n + m) in drop' in Section 6.3#88

Merged
stefan-hoeck merged 5 commits into
stefan-hoeck:mainfrom
Liable5607:added-remark-in-6.3
Jul 21, 2025
Merged

Remark on changing order of (m + n) to (n + m) in drop' in Section 6.3#88
stefan-hoeck merged 5 commits into
stefan-hoeck:mainfrom
Liable5607:added-remark-in-6.3

changed quote to backticks and repl

0dd0974
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.