Theorem nhdsGE_basis

Modification history