Theorem LinearEquiv.snd_comp_prodComm

Modification history