Theory Plug-in User Manual v1.0
Up:
Quick Start
3.5 Create a Polymorphic Theorem
Theory Plug-in User Manual v1.0
Up:
Quick Start
