☰
for_all9
quantors.for_all9
§for_all9(A0 type, A1 type, A2 type, A3 type, A4 type, A5 type, A6 type, A7 type, A8 type, f Function bool quantors.for_all9.A0 quantors.for_all9.A1 quantors.for_all9.A2 quantors.for_all9.A3 quantors.for_all9.A4 quantors.for_all9.A5 quantors.for_all9.A6 quantors.for_all9.A7 quantors.for_all9.A8) => bool:Any
§for_all9(A0
type
, A1 type
, A2 type
, A3 type
, A4 type
, A5 type
, A6 type
, A7 type
, A8 type
, f Function bool quantors.for_all9.A0 quantors.for_all9.A1 quantors.for_all9.A2 quantors.for_all9.A3 quantors.for_all9.A4 quantors.for_all9.A5 quantors.for_all9.A6 quantors.for_all9.A7 quantors.for_all9.A8) =>
bool:
Any