mathlib
9be96e5b - Restore lemmas for use in `unit_interval` tactic
Commit
View On GitHub
Commit
3 years ago
Restore lemmas for use in `unit_interval` tactic
Parents
618ef750
FAQ Terms Privacy Refunds Impressum
Loading