These are archival webpages, generated on 2023-03-20 by
Prove-It
Beta Version 0.3, licensed under the GNU Public Licence by Sandia Corporation. See
pyproveit.org
for the lastest version.
SubsetProper
¶
proveit.logic.
SubsetProper
¶
alias of
proveit.logic.ProperSubset
Prove-It
Navigation
as_expression
as_expressions
auto_equality_prover
auto_prover
auto_relation_prover
bundle
composite_expression
equality_prover
expression_depth
extract_var_tuple_indices
free_var_ranges
free_vars
generate_inner_expressions
horiz_var_array
maybe_fenced
maybe_fenced_latex
maybe_fenced_string
prover
relation_prover
reset
safe_default_or_dummy_var
safe_dummy_var
safe_dummy_vars
simplified_index
simplified_indices
single_or_composite_expression
total_ordering
traverse_inner_expressions
unbundle
used_literals
used_vars
var_array
var_range
vert_var_array
ArgumentExtractionError
Assumption
Axiom
Composite
Composition
Conditional
ConditionalSet
Deduction
DuplicateLiteralError
ExprArray
ExprRange
ExprTuple
ExprTupleError
Expression
Function
Generalization
GeneralizationFailure
ImproperReplacement
IndexedVar
InnerExpr
InnerExprGenerator
Instantiation
InstantiationFailure
InvalidAssumptions
Judgment
Label
Lambda
LambdaApplicationError
Literal
MakeNotImplemented
ModusPonens
ModusPonensFailure
NamedExprs
Operation
OperationError
OperationOverInstances
ParameterCollisionError
ParameterMaskingError
ParameterRelabelingError
Proof
ProofFailure
RangeInstanceError
SimplificationDirectives
StyleOptions
Theorem
Theory
TheoryException
TheoryPackage
TransRelUpdater
TransitiveRelation
TransitivityException
UnsatisfiedPrerequisites
UnusableProof
Variable
VertExprArray
Len
compose
conclude_via_implication
deduce_equal_or_not
evaluate_falsehood
evaluate_truth
evaluation_or_simplification
in_bool
is_irreducible_value
not_proper_superset
not_superset_eq
proper_superset
superset_eq
And
Bijections
BooleanSet
Card
CartExp
CartProd
ClassMembership
ClassNonmembership
Difference
Disjoint
Distinct
Equals
EvaluationError
Exists
FalseLiteral
Forall
Functions
Iff
Image
Implies
InClass
InSet
Injections
Intersect
IntersectAll
InvImage
IrreducibleValue
Not
NotEquals
NotExists
NotInClass
NotInSet
NotProperSubset
NotSubsetEq
Or
PowerSet
ProperSubset
Set
SetEquiv
SetMembership
SetNonmembership
SetNotEquiv
SetOfAll
SimplificationError
StrictSubset
SubsetEq
SubsetProper
Surjections
TrueLiteral
Union
UnionAll
UniqueExists
complex_polar_coordinates
compose_fraction
compose_product
deduce_as_mon_dec_func
deduce_in_number_set
deduce_not_equal_numeric_rationals
deduce_number_set
dist_add
dist_subtract
exp2pi_i
frac
greater
greater_eq
is_numeric_int
is_numeric_natural
is_numeric_rational
less_eq_numeric_ints
less_eq_numeric_rationals
less_numeric_ints
less_numeric_rationals
negated
not_equal_numeric_rationals
num
number_ordering
numeric_rational_ints
quick_simplified_index
readily_factorable
readily_provable_number_set
remove_common_factors
simplified_numeric_rational
sqrd
sqrt
standard_number_set
subtract
union_number_set
unit_length_complex_polar_angle
Abs
Add
BinarySequence
Ceil
Conjugate
DecimalSequence
Div
Divides
DividesProper
Exp
Floor
GCD
Integrate
Interval
IntervalCC
IntervalCO
IntervalOC
IntervalOO
KroneckerDelta
Less
LessEq
Log
Max
Min
Mod
ModAbs
MonDecFuncs
Mult
Neg
NumberOperation
NumberOrderingRelation
Numeral
Prod
RealInterval
Round
Sum
Related Topics
Documentation overview
Previous:
SubsetEq
Next:
Surjections
Quick search