Theorem cardQuot_mul

Modification history