不一定。点击进入HIV小程序并不代表一定使用过它，因为用户可以随时离开小程序而不进行任何操作。使用HIV小程序的定义应该是进行过其中的功能，如查询HIV测试机构、接受健康知识和预防措施，或者进行HIV检测等。

因此，只有点击进去并进行了相关操作的用户才能被认定为使用了HIV小程序。