Restricted absorption: a mod-32 sparse SAFE block absorbs any admissible target with $2n+4$ letters

Initializing...

Restricted absorption: a mod-32 sparse SAFE block absorbs any admissible target with $2n+4$ letters · Prove2Me