Theorem MultilinearMap.domDomCongr_trans

Modification history