Theorem swap_dist

Modification history