HomePhabricator
Authored by nipkow.

Description

tuned

Details

Committed
nipkowNov 5 2019, 9:07 PM
Parents
rISABELLE2fab72ab919a: moved duplicate lemmas up the hierarchy
Branches
Unknown
Tags
Unknown

Event Timeline