HomeIsabelle/Phabricator
Authored by nipkow.

Description

added lemma

Details

Committed
nipkowTue, Sep 15, 8:57 AM
Parents
rISABELLE25cf074a4188: de-applying
Branches
Unknown
Tags
Unknown