Theorem Mathlib.Meta.Positivity.log_pos_of_isNNRat

Modification history