Theorem AffineBasis.coord_apply

Modification history