Changes related to "Exportation (logic)"
This is a list of recent changes to pages linked from a specified page (or to members of a specified category). Changes to pages on your watchlist are shown with a green bullet.
9 October 2015
- (diff | hist) . . Theorem; 06:02 . . (+280) . . WillemienH (→Terminology: corollary as restricted case)
8 October 2015
- (diff | hist) . . Currying; 23:30 . . (-26) . . 22.214.171.124 (The opening definition wrongly appends "(partial application)". A single arg is not a partial app, nor is a function that takes a single arg. The later section "Contrast with partial function application" is correct.)
- (diff | hist) . . Formal system; 01:48 . . (+19) . . 126.96.36.199 (→Formal proofs: added a note to make an abbreviation clearer)