coq/doc/changelog/07-vernac-commands-and-options/13912-remove-bijint.rst, branch master The formal proof system Add changelog 2021-03-09T09:10:29+00:00 Kazuhiko Sakaguchi 2021-03-08T16:49:57+00:00 fcdca40c08a8ac77eeda53d649dddbadf06a9051