swMATH161WikidataQ1131652 ScholiaQ1131652MaRDI QIDQ12929FDOQ12929
Author name not available (Why is that?)
Described by source
This page was built for software: Coq
