Theorem continuous_decomposeProdAdjoint

Modification history