Theorem StarSubalgebra.range_subset

Modification history