Theorem LinearPMap.mkSpanSingleton'_apply

Modification history