Theorem AffineBasis.ext

Modification history