Def bifunctor.map_equiv

Modification history