FSc_good (KFL §2: Lemma 13 on chunk triples (canonical layout `x, y, z` = slots `0, 1, 2`))

Initializing...

FSc_good (KFL §2: Lemma 13 on chunk triples (canonical layout `x, y, z` = slots `0, 1, 2`)) · Prove2Me