constructions, properties
inversions, inversion properties, inversion lemmas, inversion
destructions, forward properties, forward lemmas
constructions, properties
inversions, inversion properties, inversion lemmas, inversion
destructions, forward properties, forward lemmas