Theorem compl_beattySeq

Modification history