[Merged by Bors] - refactor(Topology/Category): add CompHausLike.Limits #13905 dagurtomas wants to merge 295 commits intoleanprover-community/mathlib4:master from leanprover-community/mathlib4:dagur/AddCompHausLikeLimits Copy head branch name to clipboard
Commits
This pull request is big! We're only showing the most recent 250 commits
Commits on Jul 2, 2024 Show description for 6cf5b20
Show description for 118f0d4
Show description for 871e03b
Show description for 3089e27
Show description for 884d019
Show description for cee5df1
Show description for 6989cd8
Show description for 8b4baa5
Show description for a27e52e
Show description for 71d021f
Show description for 943a3be
Show description for 7a63382
Show description for a5ab802
Show description for e7aa72d
Show description for 902ae55
Show description for 9e14d99
Show description for 977de96
Show description for 55fa6c9
Show description for 64b5bd8
Show description for dabb74d
Show description for 6e4f06a
2 people authored and committed
Show description for 7719f89
Show description for df292e7
Show description for 54c3bbe
Show description for 6125967
Show description for e82afa4
Show description for 5ef1a3f
Show description for d87e336
Show description for 38fb08d
Show description for acd3194
2 people authored and committed
Show description for 3b166f9
Show description for 5b8a353
2 people authored and committed
Show description for 42dc95f
Show description for 1d30ff7
Show description for ada0160
Show description for 2802c35
Show description for f4ed615
Show description for 782f214
Show description for 6c4bad5
Show description for b664b0f
Show description for 7c479d8
Show description for 2029047
Show description for 3430880
3 people authored and committed
Show description for b8838e8
Show description for 1b4d443
Show description for 5e886ae
Show description for fce75ff
Show description for 23c06d4
Show description for ff85c4c
Show description for 4b63b43
Show description for b657bdc
Show description for 117a0d9
Show description for 7a178ee
2 people authored and committed
Show description for 9afca30
Show description for bd640ce
Show description for c7b106d
Show description for 93efefb
Show description for f4e7373
Show description for 204369f
Show description for 2d95883
Show description for 8f41392
Show description for 53bbfed
Show description for d3e2866
Show description for 7531ac7
Show description for fbda364
Show description for eccc23c
Show description for 7d67c09
Show description for 123b7a7
Show description for c071e5f
Show description for 1cdaa0a
Show description for 0a7bea1
2 people authored and committed
Show description for c99e2f6
Show description for f7a7440
Show description for 9bc57dc
Show description for d732a68
Show description for e2e14d6
2 people authored and committed
Show description for 692381a
Show description for 4e5febb
Show description for 43f7ce9
Show description for 27cfaaa
Show description for aea9d89
Show description for 260b64f
Show description for bbf6616
Show description for 74f0f8c
Show description for 486ca4f
Show description for 9f338d7
Show description for 2ca2011
Show description for b130605
Show description for 6c3635f
Show description for 05e3cb5
Show description for d45ae05
Show description for 4cba39c
Show description for 827ad39
Show description for c08522b
3 people authored and committed
Show description for 1a299fe
Show description for 1af7a5f
Show description for 8d8b5da
Show description for 263dd95
Show description for cb0cb2e
Show description for f55ab44
Show description for 6be4044
2 people authored and committed
Show description for 1b8c065
Show description for 00abdba
Show description for fe0d72f
2 people authored and committed
Show description for 429f154
6 people authored and committed
Show description for 6ccbf84
2 people authored and committed
Show description for 27da3b5
Show description for 7d502b0
Show description for 0fbd482
Show description for 4b72c80
Show description for 8a18140
Show description for 5a27f54
Show description for c6b934b
2 people authored and committed
Show description for 1639883
Show description for e80fb01
Show description for 4667b1b
Show description for c762a34
Show description for f2de6fc
Show description for c20b411
Show description for 5120ffd
2 people authored and committed
Show description for fe463e1
Show description for 5525a43
Show description for 39b8c56
2 people authored and committed
Show description for b68b97a
2 people authored and committed
Show description for 9a470a5
Show description for 0da6aef
Show description for 2d7fb97
Show description for a8a24b6
Show description for d74cf74
Show description for 6a0a3fa
Show description for c87a9ab
Show description for 33501e6
Show description for 083a7ab
Show description for fc2eed6
Show description for ffdf50d
Show description for 381ea05
Show description for 7c13fe4
2 people authored and committed
Show description for 996ac08
Show description for e0b836c
Show description for daa4f13
Show description for ec3538c
Show description for 3890ed2
Show description for 8f57bb1
Show description for ed46b57
Show description for 145737e
Show description for b1beb16
Show description for c39c30f
Show description for 80bd303
Show description for 9d73cbf
2 people authored and committed
Show description for c14af3d
2 people authored and committed
Show description for 8789b05
Show description for c057af4
Show description for 6297534
Show description for 9f744ba
Show description for b389b06
Show description for 0a290ce
Show description for ac61d4a
2 people authored and committed
Show description for eb6da06
Show description for dfa26aa
Show description for 79a0b7d
Show description for 4039758
Show description for 7c33254
Show description for 90b634e
Show description for 3452698
Show description for ae98a43
2 people authored and committed
Show description for b83dfa2
Show description for 8b08c5c
Show description for 5df49dd
2 people authored and committed
Show description for 0bacc7e
Show description for acf0268
Show description for 39ee69e
Show description for 5afa555
Show description for a3aa9a1
Show description for defd457
Show description for ef5270d
Show description for 7d6edca
Show description for ffc44df
Show description for 76d9db6
Show description for f7e1ccd
Show description for d3774bd
Show description for 1db2aa6
Show description for b227f40
Show description for 13325df
Show description for 12a790f
Show description for 05861c2
Show description for a1937a3
Show description for a76c894
Show description for 0a5bbf0
Show description for d7ad638
Show description for 74b5d0f
You can’t perform that action at this time.
![mathlib-bors[bot]](https://avatars.githubusercontent.com/in/421226?v=4&size=32){kind=avatar}
