final version of anchoring proof

This commit is contained in:
Vins 2024-06-12 16:20:39 +02:00
parent e5beaa587d
commit af9387e73b

File diff suppressed because one or more lines are too long