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>Tue, Jan 28, 11:22 AM
Parents
rAFP766bfc31745e: merge
Branches
Unknown
Tags
Unknown

Event Timeline