Changeset 37526 in project


Ignore:
Timestamp:
04/07/19 14:28:09 (18 months ago)
Author:
megane
Message:

Fix typo

File:
1 edited

Legend:

Unmodified
Added
Removed
  • wiki/scrutinizer

    r37525 r37526  
    4141
    4242When {{all}} is true {{match-types}} returns {{#t}} iff {{V_(t2)}} is
    43 a subset of {{V_t1}}.
     43a subset of {{V_(t1)}}.
    4444
    4545When {{all}} is false {{match-types}} returns {{#t}} iff the sets
Note: See TracChangeset for help on using the changeset viewer.