Theorem AffineBasis.coord_apply_ne

Modification history