Commit 2024-09-11 15:57 d6fe193e
View on Github →feat(Data/Set/Finite): added lemmas about cardinality of finite sets (#15652) Added some lemmas in preparation for Tuttes theorem
feat(Data/Set/Finite): added lemmas about cardinality of finite sets (#15652) Added some lemmas in preparation for Tuttes theorem