Theorem Mon_.tensor_one

Modification history