Theorem algebraicIndependent_sUnion_of_directed

Modification history