irreducible (#18165)

Commit

2 years ago

chore(scripts/list-attributes.sh): script to track attributes semireducible/irreducible (#18165) This script generates the data for #18164

Author

jcommelin

Parents