Theorem AffineSubspace.bot_parallel_iff_eq_bot

Modification history