Comment # 3 on bug 1205465 from Petr Gajdos

(In reply to Ulrich Windl from comment #2)
> at manual page to the corresponding package that ships the actual at command
> IMHO.

As I see it, at(1p) describes a standard and thus is part of man-pages-posix,
which can be uninstalled. at(1) is part of the at package:

:/ # rpm -ql at | grep man
/usr/share/man/man1/at.1.gz
/usr/share/man/man1/atq.1.gz
/usr/share/man/man1/atrm.1.gz
/usr/share/man/man1/batch.1.gz
/usr/share/man/man5/at.allow.5.gz
/usr/share/man/man5/at.deny.5.gz
/usr/share/man/man8/atd.8.gz
/usr/share/man/man8/atrun.8.gz
:/ #

I haven't probably understood the problem you are expressing.