Skip to content

contra tactic and helper lemmas (in boolp.v)#1119

Merged
proux01 merged 1 commit intomath-comp:masterfrom Tragicus:contraJan 18, 2024

Commits

Commits on Jan 18, 2024