Theorem IsEllSequence_mul

Modification history