Theorem LinearPMap.mkSpanSingleton'_apply_self

Modification history