Theorem AffineSubspace.direction_mk'

Modification history