Proof and mathematical structure
Chapter 10 of 6 strong
RESTS ONDistinguish number-system containment and justify closure or counterexamplesFOUNDATIONSDistinguish an element statement from a subset statement and decide whether a finite set is contained in another stated setFOUNDATIONSState unique prime factorisation and construct an argument for infinitely many primesFOUNDATIONSMultiply matrices by pairing rows with columns and summing the productsFOUNDATIONSCompute a combination coefficient exactly from its factorial ratio, cancelling before multiplication and respecting the selection constraintsFOUNDATIONSCalculate three-dimensional components, magnitudes and unit directionsCH 7Prove polar multiplication power and modulus identities; ungradedFOUNDATIONSIdentify the inner and outer functions of a composite, differentiate each, multiply the outer derivative evaluated at the inner function by the inner derivative, and write the result in the requested factorised formFOUNDATIONS
Proof and quantifier synthesis
Induction across mathematical structures