Theorem closure_one_eq

Modification history