Theorem PiLp.dist_eq_card

Modification history