Theorem DirectLimit.div₀_def

Modification history