Theorem MvFunctor.id_map'

Modification history