HomePhabricator

moved duplicate lemmas up the hierarchy

Authored by nipkow.

Description

moved duplicate lemmas up the hierarchy

Details

Committed
nipkowNov 5 2019, 7:55 PM
Parents
rISABELLEfdb6c5034c24: merged
Branches
Unknown
Tags
Unknown