Def MultilinearMap.ofSubsingleton

Modification history