Theorem card_linearIndependent

Modification history