close

  

What are Properties? Properties

Property ID Expected Type Description

This type doesn't have any properties

First Proved By /user/mt/default_domain/theorem/first_proved_by /type/object never_assert
Depends On /user/mt/default_domain/theorem/depends_on /type/object never_assert
Add New Reorder

What are Included Types? Included Types

This type doesn't have any included types.

Include another type

Comments

Hide