HomeIsabelle/Phabricator

streamlined NBA translation

Description

streamlined NBA translation

Details

Provenance
Julian Brunner <julianbrunner@gmail.com>Authored on
Parents
rAFP29f2271f9455: a few new lemmas
Branches
Unknown
Tags
Unknown

Event Timeline