HomePhabricator

removed redundant lemma

Authored by nipkow.

Description

removed redundant lemma

Details

Committed
nipkowNov 5 2019, 7:13 PM
Parents
rISABELLEc1b63124245c: tuned
Branches
Unknown
Tags
Unknown