A(5) = 5: four matrices finish the case t = 5

This is from MV2's open notebook on Kakeya-type problems ( https://github. com/munimtechnologies/kakeya-small-fields ). It continues the earlier posts on finite 2-groups whose involutions are all central: is such a group at most |Omega_1|^(e+1), where 2^e is its exponent?

Source: [Dev.to](https://dev.to/munimv2/a5-5-four-matrices-finish-the-case-t-5-5aek)