Theorem Subspace.forall_mem_dualAnnihilator_apply_eq_zero_iff

Modification history