Theorem AffineSubspace.bot_ne_top

Modification history