Theorem AffineSubspace.eq_bot_or_nonempty

Modification history