Theorem mulRothNumber_le

Modification history