microproofs 6d2e38851e Push down functions that aren't dependent on the group in front.		2025-01-12 00:39:04 +07:00
..
v3	Push down functions that aren't dependent on the group in front.	2025-01-12 00:39:04 +07:00