Manuscript XX-E@1 · XX-E.tex · section · cf7a8f40
A complete conditional affine application
Post-calculation repair: simultaneous actual-image conditions › A complete conditional affine application · lines 1206–1216
The criterion uses the actual image, not its closure. It is proved independently here and has the actual-image shape of Cheung's XVIII-A and XIX-D CheungXVIIIA,CheungXIXD. It is not the cancellation requested by Q4–Q5: Assumption ass:repair has not been verified for the supplied native lapse.