modulus for polynomials is invariant wrt. units
Description
Description
Details
Details
- Provenance
florian.haftmann Authored on - Parents
- rISABELLE5ca3391244a3: proper Java syntax (amending ea79c21bcc47);
- Branches
- Unknown
- Tags
modulus for polynomials is invariant wrt. units Tags None Subscribers None |