Theorem Combinatorics.Subspace.reindex_apply

Modification history