Removed dup lemma that inhibited locale instantiations (dup fact error)
Description
Description
Details
Details
- Provenance
peter_lammich Authored on - Parents
- rISABELLE84f79d82df0a: some applications of "metric"
- Branches
- Unknown
- Tags
Removed dup lemma that inhibited locale instantiations (dup fact error) Tags None Subscribers None |