Skip to content
Success

Changes

Summary

  1. tuned op
Changeset 8610:3a9313110a6e by nipkow:
tuned op
The file was modified thys/Jordan_Normal_Form/VS_Connect.thy (diff)