Def ContinuousMultilinearMap.ofSubsingleton

Modification history