Back to main page

$lift

Format:

    { "$lift" : PropositionSet }

See also: