Theorem PowerBasis.mem_span_pow'

Modification history