Theorem Combinatorics.Subspace.apply_def

Modification history