Theorem wbtw_lineMap_iff

Modification history