Theorem Traversable.naturality'

Modification history