Theorem AbsoluteValue.IsAdmissible.exists_approx

Modification history