replace approximation oracle by less ad-hoc computations
Description
Description
Details
Details
- Provenance
immler Authored on - Parents
- rISABELLEc2465b429e6e: Line_Segment is independent of Convex_Euclidean_Space
- Branches
- Unknown
- Tags
replace approximation oracle by less ad-hoc @{computation}s Tags None Subscribers None |