Theorem Finset.attachFin_eq_fin

Modification history