Theorem Set.BijOn.finsetCard_eq

Modification history