Commit 2024-06-07 12:45 cc385a88
View on Github →chore(CategoryTheory.IsConnected): remove redundant hypothesis in of_induct
(#13598)
remove the unnecessary hypothesis by proving it
chore(CategoryTheory.IsConnected): remove redundant hypothesis in of_induct
(#13598)
remove the unnecessary hypothesis by proving it