Theorem MultilinearMap.domDomCongr_mul

Modification history