Skip to content
Success

Changes

Summary

  1. fixed typo
Changeset 6772:238e83a07cf5 by blanchet:
fixed typo
The file was modified thys/Polynomials/Polynomials.thy (diff)