HomeIsabelle/Phabricator

reduced imports; deleted unusewd minor lemmas for that purpose

Authored by nipkow.

Description

reduced imports; deleted unusewd minor lemmas for that purpose

Details

Committed
nipkowNov 29 2019, 5:43 PM
Parents
rISABELLE7fac205dd737: tuned
Branches
Unknown
Tags
Unknown