Theorem IsSimpleModule.toSpanSingleton_surjective

Modification history