Mitama.Result version 7.2.0

New features

• Add conj/disj/xdisj for basic_result
• Add replace/replace_with for basic_result