Highly complex proofs and implications of such proofs (0)

by M Aschbacher