Theorem NonemptyInterval.snd_mul

Modification history