Theorem multipliable_sineTerm

Modification history