HomeIsabelle/Phabricator

move theorems

Description

move theorems

Details

Event Timeline

Andreas Lochbihler <mail@andreas-lochbihler.de> committed rAFPf000868a784d: move theorems.Dec 21 2020, 11:22 AM