Theorem ContinuousLinearMap.flip_apply

Modification history