Theorem Finset.attachFin_ssubset_attachFin

Modification history