Theorem LinearIsometry.integral_comp_comm

Modification history