Theorem AffineSubspace.mem_mk'

Modification history