Theorem Nat.card_pLift

Modification history