Theorem MvQPF.liftR_map_last'

Modification history