Theorem sbtw_of_sbtw_of_sbtw_of_mem_affineSpan_pair

Modification history