Theorem SeminormFamily.basisSets_univ_mem

Modification history