Theorem cinfₛ_mul

Modification history