OAI/Combinatorics/EditApproximation/Geometry/ComparisonParameters.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The computed parameters discharge the comparison-tree small-growth premises.

  1. theorem OAI.EditApproximation.computed_comparison_parameters line 10