Theorem DirectLimit.intCast_def

Modification history