lint and suggest

feat(RingTheory/Polynomial/HilbertPoly): `Polynomial.isLinearMap_hilbertPoly` #71968

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lint style	1m 11s
Check all files imported	38s
	1m 49s