Theorem Mathlib.Meta.Positivity.log_pos_of_isRat

Modification history