definitions): nat_degree_X_pow (#5512)

Commit

4 years ago

feat(polynomial/degree/definitions): nat_degree_X_pow (#5512) Companion to degree_X_pow

Author

tb65536

Parents