V (Definitions)
val_finset [def, in mathcomp.classical.functions]
valL_ [def, in mathcomp.classical.functions]
valLfun_ [def, in mathcomp.classical.functions]
valLR [def, in mathcomp.classical.functions]
valLRfun [def, in mathcomp.classical.functions]
valR [def, in mathcomp.classical.functions]
valR_fun [def, in mathcomp.classical.functions]
variance [def, in mathcomp.analysis.probability]
vitali_collection_partition [def, in mathcomp.analysis.normedtype]
vitali_cover [def, in mathcomp.analysis.lebesgue_measure]
void_emptyMixin [def, in mathcomp.classical.classical_sets]
void_emptyType [def, in mathcomp.classical.classical_sets]