HomeIsabelle/Phabricator

Lambda-free orders: restrict totality to one set

Description

Lambda-free orders: restrict totality to one set

Details

Provenance
Alexander Bentkamp <a.bentkamp@vu.nl>Authored on
Parents
rAFP766bfc31745e: merge
Branches
Unknown
Tags
Unknown