cls: \OBdA
alg: 15.3 proofs
cls: make \isomorphic mathrel
todo: centered colon
alg: fixes