Theorem NonemptyInterval.snd_dual

Modification history