Theorem Basis.eq_of_apply_eq

Modification history