Theorem approximatesLinearOn_empty

Modification history