Theorem AffineSubspace.parallel_bot_iff_eq_bot

Modification history