Theorem Cardinal.natCast_inj

Modification history