Generalization of Church-Rosser strategies for confluent abstract rewriting systems of the smallest uncountable cardinality. ~ Ievgen Ivanov. https://wrla2026.github.io/preproceedings/preproceedings.pdf#page=7 #IsabelleHOL #ITP