Theorem WithLp.equiv_fst

Modification history