added theory Natural_Mergesort for educational purposes
Description
Description
Details
Details
- Provenance
Christian Sternagel <c.sternagel@gmail.com> Authored on - Parents
- rAFP13c18a730ac4: factored out lemmas
- Branches
- Unknown
- Tags
added theory Natural_Mergesort for educational purposes Tags None Subscribers None
Description
Details
|