HomeIsabelle/Phabricator
Authored by nipkow.

Description

moved lemma

Details

Committed
nipkowNov 6 2019, 5:38 PM
Parents
rISABELLEb3956a37c994: merged
Branches
Unknown
Tags
Unknown