Michael Muré 80c2d60ab3 invocation: rephrase slightly the proof rules to be less confusing down the line

2024-12-09 18:53:38 +01:00

5.0 KiB

Raw Blame History

View Raw