Theorem MonoidAlgebra.of_mem_span_of_iff

Modification history