Theorem Module.DualBases.dual_lc

Modification history