Avoid shadowing original List._ namespace.
Description
Description
Details
Details
- Provenance
florian.haftmann Authored on - Parents
- rISABELLE1d2222800ecd: replaced complicated lemma by a simpler one
- Branches
- Unknown
- Tags
Avoid shadowing original List._ namespace. Tags None Subscribers None |