Def ContinuousMultilinearMap.ofSubsingletonₗᵢ

Modification history