Proposition: If A = C x D and B = E x F, then A:B = CxD:ExF PDFs: https://github.com/sandy-bultena/Euclid/tree/master/Propositions/PDFs
No download links available.
