Theorem linearIndependent_image

Modification history