Theorem AffineSubspace.vadd_mem_pointwise_vadd_iff

Modification history