Theorem AffineSubspace.mem_inf_iff

Modification history