Theorem AffineBasis.coe_coord_of_subsingleton_eq_one

Modification history