GitHub repository: kolosovpetro/UnexpectedPolynomialIdentity
Primary language: TeX
Description: Unexpected polynomial identity