Theorem AffineBasis.ind

Modification history