Theorem PiLp.equiv_symm_single

Modification history