Theorem affineSpan_eq_bot

Modification history