Theorem strictAnti_of_odd_strictAnti_on_nonneg

Modification history