Theorem Mathlib.Meta.Positivity.log_nz_of_isNNRat

Modification history