Theorem DirectLimit.map₂_def₂

Modification history