add/rename some theorems about Map(pings)
Description
Description
Details
Details
- Provenance
lukasstevens Authored on - Parents
- rISABELLEecf80e37ed1a: support configuration options "show_results";
- Branches
- Unknown
- Tags
add/rename some theorems about Map(pings) Tags None Subscribers None |