Theorem DirectLimit.map₂_def

Modification history