Theorem AffineSubspace.mem_map_iff_mem_of_injective

Modification history