_:n96ddf47b399a40c9bbc08e82849a32c9xb0
<http://schema.org/itemListElement>
<https://gitlab.mpi-sws.org/pythonsq/iris-coq/-/blob/0b908b3670b7bc19b20af21a0e69b7e732fa854f/theories/proofmode/class_instances.v>