Centralized some char-related lemmas in distribution.
Description
Description
Details
Details
- Provenance
florian.haftmann Authored on - Parents
- rISABELLEaeb412065742: prefer antiquotations;
- Branches
- Unknown
- Tags
Centralized some char-related lemmas in distribution. Tags None Subscribers None |