Would you consider him a pedo?

Imagine there is a 30 year old discord owner who have crush on 13 year old and he start dating her when she was 18 and they had sex when she was 19. is it pedo for waiting till she is legal?
Would you consider him a pedo?
Post Opinion