Theorem Mathlib.Meta.Positivity.log_nz_of_isRat_neg

Modification history