Theorem WithLp.dist_toLp_fst

Modification history