Theorem Module.DualBases.mem_of_mem_span

Modification history