Theorem Basis.range_extend

Modification history