Theorem affineSpan_induction'

Modification history