Theorem Combinatorics.Subspace.apply_inr

Modification history