All public logs

Combined display of all available logs of Learning. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 23:05, 24 April 2020 Issa Rice (talk | contribs) moved page Generality versus core insight tradeoff in theorems to Generality versus core insight trade-off in theorem statements