Theorem isEmpty_algebraicIndependent

Modification history