OAI/Analysis/MarkovType/TriangularQuotient.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MarkovSuperreflexivity.TriangularSystem.liftQuotient line 18
2. theorem OAI.MarkovSuperreflexivity.no_triangular_quotient_of_no_triangular line 62