Theorem MultilinearMap.domDomCongr_eq_iff

Modification history