Theorem nontrivial_of_invariantBasisNumber

Modification history