Theorem Nat.dist_eq_intro

Modification history