Revision history for entry Blass, Andreas: An induction principle and pigeonhole principles for k-finite .. [BLAAIP]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2022-10-21T08:03:08updateSystem / admin update
2019-05-14T13:41:07updateSystem / admin update
2019-02-06T05:42:49updateSystem / admin update
2016-06-30T13:11:03updateSystem / admin update
2015-02-05T06:53:10updateSystem / admin update
2014-04-02T13:16:51updateSystem / admin update
2013-11-22T12:08:46updateSystem / admin update
2013-11-04T09:23:50updateSystem / admin update