Theorem bot_lt_affineSpan

Modification history