Theorem MvQPF.liftR_map

Modification history