Theorem Trunc.finChoice_eq

Modification history