DividesProper

class proveit.numbers.DividesProper(a, b, *, styles=None)

Bases: proveit.numbers.divisibility.divides.DividesRelation

DividesProper(x, y) represents the claim that x divides y (i.e. x|y) but x != y. x|y is equivalent to saying that x is a factor of y, y is a multiple of x, or y/x is an integer). This class is still under development, with the class stub located here so that we have a ‘strong relation’ class version of Divides that can be called from the DividesRelation class, which in turn allows us to use the TransitiveRelation.concude_via_transitivity() method.

Attributes Summary

known_left_sides
known_right_sides

Attributes Documentation

known_left_sides = {}

known_right_sides = {}