Theorem Traversable.naturality_pf

Modification history