Inductive Monoid.InClosure

Modification history