Man pages matching name ct_property_test in section 3erl:

ct_property_test.3erl.en	debian 10 / erlang-manpages
ct_property_test.3erl.en	debian 11 / erlang-manpages
ct_property_test.3erl.en	debian 12 / erlang-manpages