HomeIsabelle/Phabricator

Lambda-free orders: restrict totality to one set

Description

Lambda-free orders: restrict totality to one set

Details

Committed
Alexander Bentkamp <a.bentkamp@vu.nl>Jan 28 2020, 11:22 AM
Parents
rAFP766bfc31745e: merge
Branches
Unknown
Tags
Unknown

Event Timeline