Theorem AffineSubspace.bot_coe

Modification history