Def latToBddLat

Modification history