fix tautological lemma bits.skipn_app#258

andres-erbsen merged 1 commit intorocq-prover:masterrocq-prover/stdlib:masterfrom

andres-erbsen:bits-skipn-appandres-erbsen/stdlib:bits-skipn-appCopy head branch name to clipboard