Theorem DirectLimit.map₀_def

Modification history