Theorem exists_affineIndependent

Modification history