Theorem nat_log_eq_padicValNat_iff

Modification history