more lemmas and more correct lemma names
Description
Description
Details
Details
- Provenance
florian.haftmann Authored on - Parents
- rISABELLE924e487288fb: NEWS: corrected the definition of convexity of functions
- Branches
- Unknown
- Tags
more lemmas and more correct lemma names Tags None Subscribers None |