HomeIsabelle/Phabricator

Generalisation of order types to arbitrary sets; ordinal exponentiation

Description

Generalisation of order types to arbitrary sets; ordinal exponentiation

Details

Committed
paulson <lp15@cam.ac.uk>Tue, Jan 28, 5:50 PM
Parents
rAFP85592c2f97b1: merged
Branches
Unknown
Tags
Unknown