Theorem algebraicIndependent_adjoin

Modification history