On Subnomials. - Ziobro, Rafał (Formalized Mathematics, 2016)