2 ms·If you say 'provably', you should offer the proof. In Lean perhaps? But in English is also ok.by eru 3mo agoIf you say 'provably', you should offer the proof. In Lean perhaps? But in English is also ok.