Theorem compl_beattySeq'

Modification history