HomeIsabelle/Phabricator

Changes for generalised lemmas

Description

Changes for generalised lemmas

Details

Provenance
Katharina KreuzerAuthored on
Parents
rAFPedfb67bf875e: Generalised Lemmas
Branches
Unknown
Tags
Unknown