diff options
| author | Cyril Cohen | 2018-07-04 17:34:17 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2019-10-16 11:32:41 +0200 |
| commit | 948dec69615691de382278609a5b130ad5a485d3 (patch) | |
| tree | 3a64f94712be01a5e060fa707dfcf9c1050e2c79 /docs/javascripts/scale.fix.js | |
| parent | ba5ad832912004b5f54bcef9b6d5916b7ca876ba (diff) | |
Improving fintype and bigop
### Added
- Fintype theorems: `fintype0`, `card_le1P`, `mem_card1`,
`card1P`, `fintype_le1P`, `fintype1`, `fintype1P`.
- Bigop theorems: `big_rmcond`, `bigD1_seq`,
`reindex_enum_val_cond`, `reindex_enum_rank_cond`,
`reindex_enum_val`, `reindex_enum_rank`, `big_set`.
Diffstat (limited to 'docs/javascripts/scale.fix.js')
0 files changed, 0 insertions, 0 deletions