Theorem Prefunctor.map_reverse

Modification history