Theorem Basis.apply_eq_iff

Modification history