This footprint is private

Start following Isabelle Gasche to reveal this footprint.