Theorem Finset.mem_attachFin

Modification history